搜索结果

研究验证与验证及相关过程。主题包括用于软件分析，测试和质量保证的技术和工具。已成功完成CS 416的学生可能不会为CS 516获得信用。